L’infrastructure sismographe. Temps, échelles et récits du boulevard périphérique parisien

Boulevard du Triomphe

In this paper, we show how to split the writhe of reduced projections of oriented alternating links into two parts, called nullification writhe, or wx, and remaining writhe, or wy, such that the sum of these quantities equals the writhe w, and each quantity remains an invariant of isotopy. The chirality of oriented alternating links can be detected by a non-zero wx or wy, which constitutes an i...

Les temps du document et la recherche d'information

This article presents a survey of the interactions between information retrieval and temporal aspects of documents. First the time evoked by the discourse and the historic situation time of the documents themselves are distinguished. The universe of discourse time should be taken into account in the indexation step of information retrieval. It can be processed by named entities extraction and m...

L'Analyse Logique Des Temps Du Passe En Francais: Comment on peut appliquer la distinction entre nom de matiere et nom comptable aux temps du verbe

Dans cet expose j'aimerais prouver qu'il y a des rapports tr~s ~troits entre la s~mantique nominale et la s~mantique verbale. J'essaierai d'appliquer la distinction entre nom comptable (angl. count noun) et nom de mati~re (angl. mass noun) au domaine du verbe. En particulier il sera d~montr~ qu'un verbe (ou syntagme verbal) ~ l'imparfait d~note une entit~ du mSme type que celle d~not~e par un n...

Modélisation statistique et probabiliste du TEMPS INTER-VEHICULAIRE aux différents niveaux de trafic

Time Headway (TH) is a microscopic variable in traffic flow theories that has been studied since the 1930s. Distribution of this fundamental variable describes the arrival pattern of vehicles in traffic flow, so probabilistic modeling is the main approach to study TH and represents driving behavior. The applications of the variable in traffic engineering are varied ; include capacity calculatio...

Logique du temps arborescent pour la spécification et la preuve de programmes